Towards temporal verification of swarm robotic systems
نویسندگان
چکیده
منابع مشابه
Towards temporal verification of swarm robotic systems
A robot swarm is a collection of simple robots designed to work together to carry out some task. Such swarms rely on: the simplicity of the individual robots; the fault tolerance inherent in having a large population of identical robots; and the self-organised behaviour of the swarm as a whole. Although robot swarms present an attractive solution to demanding real-world applications, designing ...
متن کاملTowards Robotic Swarm Printing
Technology (MIT) Mediated Matter Group is honing its research into robotic swarm printing by focusing its efforts on material sophistication, or ‘tunability’, and communication or coordination between fabrication units. Here, the group’s Neri Oxman, Jorge Duro-Royo, Steven Keating, Ben Peters and Elizabeth Tsai illustrate this by describing three case studies that investigate robotically contro...
متن کاملTowards Informed Swarm Verification
In this paper, we propose a new method to perform large scale grid model checking. A manager distributes the workload over many embarrassingly parallel jobs. Only little communication is needed between a worker and the manager, and only once the worker is ready for more work. The novelty here is that the individual jobs together form a so-called cumulatively exhaustive set, meaning that even th...
متن کاملModeling Swarm Robotic Systems
In this paper, we discuss strengths and limitations of different abstraction levels for distributed robotics experiments. We support the discussion with a concrete case study which has been investigated at four different levels: real robots, embodied simulations, microscopic modeling, and macroscopic modeling. Both modeling methodologies presented represent the collective dynamics of the experi...
متن کاملTowards a Formal Verification Methodology for Collective Robotic Systems
We present a novel formal verification approach for collective robotic systems that is based on the use of the formal language Klaim and related analysis tools. While existing approaches focus on either microor macroscopic views of a system, we model aspects of both the robot hardware and behaviour, as well as relevant aspects of the environment. We illustrate our approach through a robotics sc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics and Autonomous Systems
سال: 2012
ISSN: 0921-8890
DOI: 10.1016/j.robot.2012.03.003